Hydrops des Processus vermiformis1)

Algèbre des processus pour l'analyse des performances des noeuds actifs

RÉSUMÉ. Nous étudions l’impact de l’introduction de la gestion active dans un réseau sur les paquets traditionnels traversant les nœuds actifs le constituant. Dans le cadre de l’infrastructure ARFANet, deux configurations de l’architecture d’un nœud actif sont considérées. Dans chaque cas, nous comparons les performances du nœud actif à celles d’un nœud traditionnel en utilisant le formalisme d...

Des lignes de processus aux familles de processus

RÉSUMÉ. Les processus métiers des entreprises sont de plus en plus documentés et il existe de plus en plus de collections de ces documentations. Cependant, la gestion, la maintenance et l’utilisation efficace de ces collections sont difficiles à mettre en œuvre et cette difficulté est devenue un problème récurrent et très important pour les organisations. Cette difficulté s’accroit d’autant plu...

Vers une ontologie des processus de propagation des maladies infectieuses

Formalisation des processus de la veille épidémiologique des maladies infectieuses

Epidemiological monitoring is implemented to foresee the consequences of events considered as risk factor of disease spreading and to suggest action plans for controlling its evolution. Thus, epidemiological monitoring system modeling mainly focuses on representing two encapsulated processes: the monitoring process having the epidemiological phenomenon spreading as subject of study. In this pap...

Vérification Formelle des Processus Workflow Collaboratifs

In this paper, we present a method of verification of collaborative workflow processes based on model checking techniques. In particular, we propose to verify soundness properties of these processes using SPIN model checker. First we translate the adopted specification of workflows (i.e. the WF-net) to Promela which is the description language of models to be verified by SPIN. Then we express t...